Joost-Pieter Katoen
inoxford      

I am full professor at the RWTH Aachen University in the Software Modeling and Verification (MOVES) group and part-time associated to the Formal Methods & Tools group at the University of Twente.

Since 2013, I hold a distinguished professorship at RWTH Aachen University and am member of the Academia Europaea.

For more information consider my CV.  Personal interests: my family, cycling and music (passive).

Book: Principles of Model Checking MIT Press, May 2008 (table of contents and errata)
Publications: list of papers   citeseer   scholar.google   DBLP   Quadsearch   Microsoft Academic Search
Events: Probabilistic Programming Summer School 17   LiVe 16: Learning in Verification   TCQV 16   Trends in Probabilistic Programming 15   CARP 13   CONCUR 11   QEST 11   QMC 10   YR-CONCUR 09   COMPASS 09   WAL 07   VOSS 07   QAES 07   25Y Process Algebra   QEST 04   MBT 04   VOSS 02   FMPA 00   ARTS 99
Tools: PROPHESY   PRINSYS   COMPASS   MRMC   MOTOR   SMYLE   libalf
Selected invited talks: ICTAC 17   MOD 17   LICS 16   NETYS 16   WATA 16   CAV 15   ATVA 15   SEFM 14   CONCUR 13   ACSD+PN 12   iFM/ABZ 12   LSV15Y   RP 11   FMICS 11   VTSA 11   FSEN 11   VMCAI 10   FMWEEK 09   FMCO 09   NWPT 09   TASE 08   FORMATS 07
Selected Programme Committees: ATVA 17   SafeComp 17   CSL 17   LATA 17   PSI 17   FM 16   HSCC 16   CAV 16   ICALP 16   Petri Nets 16   CONCUR 15   CAV 15   FORMATS 15   PSI 15   Petri Nets 15   SEFM 15   FSEN 15   ATVA 14   MOVEP 14   PSI 14   FORMATS 14   Petri Nets 14   TACAS 14   CAV 13   ATVA 13   FORTE/FMOODS 13   TACAS 13   LATA 13   FSEN 13   MOVEP 12   ATVA 12   QEST 12   QFM 2012   CIAA 12   FMICS 12   FOSSACS 12   MMB 12   CAV 11   CONCUR 11 (chair)   PSI 11   ICALP 11   FASE 11   ISOLA 10   CONCUR 10   MOVEP 10   NSMC 10   QEST 10   RP 10   TACAS 10   MMB 10  
Steering committees/editorial boards: CONCUR   ETAPS (chair)   FORMATS   STTT   QEST   PeerJ  
Scientific organizations: IFIP WG 1.8   IFIP WG 2.2   ACM (senior member)  
Teaching: Probabilistic Programming   Model Checking   Advanced Model Checking   Theory of UML   Concurrency Theory   Modeling and Verifying Probabilistic Systems   Data Structures and Algorithms  
Editorship: edited volumes
PhD graduates: Dino Distefano   Friedrich Gretz   Tingting Han   Jonathan Heinen   Hongfei Fu   David N. Jansen   Marijn Jongerden   Carsten Kern   Daniel Klink   Alexandru Mereacre   Martin Neuhaeusser   Viet Yen Nguyen   Stefan Rieger   Arpit Sharma   Falak Sher   Mark Timmer   Haidi Yue   Ivan S. Zapreev

Contact:

Prof. Dr. Ir. Joost-Pieter Katoen, PDEng
RWTH Aachen University
LS2: Software Modeling and Verification
D-52056 Aachen (Germany)
Tel: +49 (241) 8021200
Secretary: +49 (241) 8021201
Fax: +49 (241) 8022217
 last name [at] ce es dot er wee tee ha dot dee eee



Updated on December 7, 2016